Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
161	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
162	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
163	Cerebral Cortex Advance Access published July 7, 2016 Cerebral Cortex, 2016; 1–15 doi: cercor/bhw191 Original Article ORIGINAL ARTICLE Add to Reading List Source URL: brainmap.org Language: English - Date: 2016-08-04 13:05:38 Psychology Personality Personality traits Behavioural sciences Revised NEO Personality Inventory Big Five personality traits Neuroticism Extraversion and introversion Trait theory Conscientiousness Biological basis of personality MyersBriggs Type Indicator
164	Introduction to numerical methods for hyperbolic conservation laws: FORCE-type schemes Eleuterio Toro Laboratory of Applied Mathematics University of Trento, Italy Add to Reading List Source URL: www.prague-sum.com Language: English - Date: 2014-02-21 08:57:16 Mathematical analysis Mathematics Functional analysis Monotonic function Order theory Real analysis Computational fluid dynamics Quantum field theory
165	Appears in Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCSType Classes with Functional Dependencies? Mark P. Jones Department of Computer Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:50 Software engineering Computer programming Computing Data types Type theory Functional programming C++ Type class C++ classes Monad Parameter Type system
166	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
167	Free Theorems and “Real” Languages Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Universal algebra Constructible universe Type theory CurryHoward correspondence
168	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
169	New Applications of Parametricity Janis Voigtl¨ander Technische Universit¨ at Dresden ISS-AiPL’09 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Computing Polymorphism Functional programming Data types Parametricity Parametric polymorphism Map
170	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Declarative programming Type theory Data types Functional programming Higher-order functions Object-oriented programming Subtyping Fold Map Function

UPDATE